微处理器容软错误设计量化评估指标及评估方法

针对高可靠微处理器软容错设计,提出了一种新的可靠性度量标准,增强的平均无失效工作量,以解决现有度量标准没有综合考虑性能、面积、功耗开销带来的可靠性降低的缺点;提出了一种评估方法对增强的平均无失效工作量以及两种控制流检测技术进行定量评估。评估结果表明,软硬件结合的控制流检测技术较好地折中了可靠性、性能、面积和功耗。量化评估指标全面考虑了多种开销对微处理器可靠性的影响,采用相应的评估方法可以更加准确地对微处理器可靠性加固手段进行定量评估,以指导设计探索和设计优化。     

考虑修理工可变休假的n中取k系统可靠性模型

针对装备保障中维修调度对装备训练及可靠性的影响,将支队级修理所保障多艘舰船维修工作的情况抽象为单一维修台保障多个系统的维修力量调度分配,引入修理工可变休假策略对其进行描述,以装备结构中常见的n中取k系统为研究对象,针对以往研究利用指数分布等典型分布导致模型约束条件过于严格的问题,利用连续Phase-type分布描述了系统相关随机变量,构建系统可靠性解析模型,通过算例验证了模型适用性,模拟分析了修理工有无休假、修理工休假速率等相关因子对系统运行指标产生的各种影响。算例结果表明,该可靠性模型可以有效复现维修力量调度对n中取k系统可靠性的影响,可为修理工休假次数的合理安排、系统部件数量的优化配置提供理论基础和实践参考。     

枪械机构故障可靠性分析方法研究

介绍枪械机构组成、机构动作和作用,利用可靠性故障分析法中常用的FMECA分析法和FTA分析法对枪械机构产生的故障进行定性分析,并通过某典型自动步枪可靠性试验数据进行统计分析,找出枪械机构动作的主要故障,设计出FMECA分析表和FTA故障树．通过以上分析,提出一些对枪械机构的设计要求．     

Inequality‐based reliability estimates for complex systems

Full‐system testing for large‐scale systems is often infeasible or very costly. Thus, when estimating system reliability, it is desirable to use a method that uses subsystem tests, which are often less expensive and more feasible. This article presents a method for bounding full‐system reliabilities based on subsystem tests and, if available, full‐system tests. The method does not require that subsystems be independent. It accounts for dependencies through the use of certain probability inequalities. The inequalities provide the basis for valid reliability calculations while not requiring independent subsystems or full‐system tests. The inequalities allow for test information on pairwise subsystem failure modes to be incorporated, thereby improving the bound on system reliability. We illustrate some of the properties of the estimates via an example application. © 2013 Wiley Periodicals, Inc. Naval Research Logistics, 2013     

基于BER和CTMC的航天器发射组织过程可靠度模型

在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。     

电子稳像中运动矢量一致性的优化算法

针对电子稳像技术传统块匹配法求运动矢量的固有缺点,采取四叉树———一种变块匹配方法计算运动矢量,使求得的运动矢量有较好的一致性.与其它变块匹配方法相比,该方法克服了其它变块匹配法的不足.实验表明,使用该法求出的运动矢量有较好的一致性和准确性.     

某型火箭弹引信惯性保险机构可靠性改进设计

针对某型火箭弹引信在靶场试验过程中出现的瞎火现象,对其惯性保险机构进行了改进设计,并通过激活击针簧抗力分析和钟表机构走动时间变化分析对惯性保险机构的作用可靠性及安全性进行了验证。实践证明,该方法在大大提高作用可靠性的基础上降低了工艺难度,具有良好的军事经济效益。     

针对S盒的ARIA-128差分故障分析

针对ARIA-128分组密码进行差分故障分析,并将差分故障分析简化为求解S盒输入与输出差分问题,同时进行仿真实验。实验结果表明：ARIA-128分组密码易遭受差分故障分析攻击,8次故障注入可恢复1轮扩展轮密钥,32次故障注入即可恢复主密钥。该方法也适用于其他SPN结构的分组密码算法。     

枪械产品可靠性建模方法研究

选择适当的建模方法, 并在分析枪械产品可靠性试验特点的基础上提出了相应的假设, 讨论了确定具体模型类型的方法及不同类型数据的参数估计和检验手段。借鉴电子产品可靠性建模方法提出了针对枪械产品可靠性模型的建立步骤, 并结合某型自动步枪寿命试验数据给出计算实例。     

装备的可用度与保障资源延误概率

通过对装备可用度进行讨论,尤其对使用可用度Ao给出了深入分析,引入了修复性维修保障资源延误概率及预防性维修保障资源延误概率,使Ao的表达式更加清晰,并指出影响使用可用度的6个因素,最后给出了一个计算实例.